This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components.
Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page
Thứ Hai, 08:38 22/01/20247 khóa học “Kỹ thuật cơ khí” sinh viên ngành Cơ khí cần biết
Thứ Sáu, 13:57 08/12/2023![[Coursera] Khóa học “Tìm hiểu các phương pháp nghiên cứu” của ĐH Luân Đôn](https://lic.haui.edu.vn/media/78/t78458.jpg)
[Coursera] Khóa học “Tìm hiểu các phương pháp nghiên cứu” của ĐH Luân Đôn
Thứ Hai, 08:55 06/11/2023Khai thác danh mục tạp chí mở Directory of Open Access Journals (DOAJ)
Thứ Sáu, 15:50 18/08/2023Tài nguyên giáo dục mở Việt Nam (Vietnam Open Educational Resources – VOER)
Thứ Sáu, 19:07 02/12/2022Tài nguyên truy cập mở Digital Commons Network
Thứ Sáu, 15:15 04/11/2022Thư viện ĐH Công nghiệp Hà Nội triển khai giới thiệu, hướng dẫn khai thác tài nguyên thư viện đến sinh viên K17
Thứ Năm, 07:43 27/10/2022Giới thiệu bộ sưu tập lĩnh vực cơ khí, chế tạo máy
Thứ Tư, 10:29 19/10/2022Copyright © 2018 Hanoi University of Industry.
